algorithmic program

英

美

网络  算法程序

网络

英英释义

noun

• a precise rule (or set of rules) specifying how to solve some problem
  Synonym:algorithmalgorithmic rule

双语例句

• Data refinement is hard to deal with in a refinement tool compared with ordinary algorithmic refinement, since data refinement usually has to be done on a large program component at once.
  由于数据精化需要针对更大的程序块，所以，它比一般的算法精化更加复杂。
• In order to fully utilize the hardware capability, the algorithmic C code has been rewritten, adopting several optimization methods based on hardware. Finally the software pipeline and parallel processing is realized, high efficiency target executable program is generated.
  为了充分发挥硬件平台的性能，重写了算法的C语言代码，采用了各种基于硬件的优化方法，实现了算法的软件流水和并行计算，生成了高效率的目标执行程序。
• Analyzes the algorithmic character of molecular dynamics simulation, and optimizes the serial program.
  分析讨论了分子动力学模拟的算法特征和计算特点，对串行程序作了优化，并使之适合于作并行化。
• The loop invariant embodies essential characteristics of loop program and has an important role to play in design, proof and derivation of algorithmic program.
  循环不变式体现了循环程序的本质特征，在算法程序的开发、证明和推导中具有十分重要的作用。
• The Algorithmic Research of GPS/ GLONASS Network RTK and Its Program Realization
  GPS/GLONASS网络RTK的算法研究与程序实现
• Through researching deeply on algorithmic program, professor Xun Jinyun present a formal method named PAR ( the abbreviation of partition-and-recur) method, it bases on the relation of partition and recurrence.
  薛锦云教授对算法程序进行深入地研究，提出了一种基于分划和递推关系的算法程序设计形式化方法&PAR方法。
• Algorithmic frame can be gained by abstracting the arithmetic operators of algorithmic program.
  对算法程序中的算子进行提取、抽象就可以得到算法框架，而算法框架可以设计出可重用部件。
• The loopback of computer algorithmic information research and efficiency of running program
  计算机算法的信息执行回收与程序的效率
• The actual project is the Nation's Natural Science Fund Project "the research of designing algorithm formally and automatically based on PAR method". It involves two aspects: developing software formally and automatically, deriving and testifying algorithmic program formally.
  在研项目国家自然科学基金课题基于PAR方法的算法设计形式化和自动化研究涉及软件开发形式化和自动化、算法程序形式化推导和证明研究等内容。
• Research on Formal Development of Algorithmic Program
  算法程序形式化开发研究